Nuprl Definition : symmetrize
12,41
postcript
pdf
Symmetrize(
x
,
y
.
R
(
x
;
y
);
a
;
b
) ==
R
(
a
;
b
) &
R
(
b
;
a
)
latex
Definitions
P
&
Q
FDL editor aliases
symmetrize
origin